Stable\{$P$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\neg\neg$$P$) $\Rightarrow$ $P$